
        html {max-width: 100%; margin: auto; color: #333333;}
        body {font-size: 1em; line-height: 1.5; margin: auto; max-width: 100%;}
        h1 {font-size: 4em; line-height: 1;}
        h2 {font-size: 2em; font-weight: 600; line-height: 1;}
        h3 {font-size:1.5em;}

        a {transition: color .2s; color: #19405c; white-space: nowrap;}
        a:link, a:visited {color: #19405c;}
        a:hover {color: #7FDBFF;}
        a:active {transition: color .3s; color: #007BE6;}
        .link {text-decoration: none;}

        a.button {padding: 15px 32px; font-size:.85em; background-color: #555; border-radius: 2em; border-width: 0px; text-decoration: none; color: white; font-size: 25.0px; line-height: 2.5em;}
        a.button:hover {background-color: #777}
        a.button_big {padding: 0.5em; background-image: linear-gradient(to top, #427b0e, #9ba97d); background-color: lightgray; background-blend-mode: multiply; border-radius: .75em; border-width: 0px; text-decoration: none; min-width: 150px; max-width: 150px; min-height: 150px; max-height: 150px; display: inline-block; vertical-align: top; margin: 4px 4px 10px 4px; color: white; font-size: 25.0px; background-size: auto 100%; background-position-x: center;}
        a.button_big:hover {background-color: white; color: #e6d23f; text-decoration: underline;}
        mark {background: #ccff99;}
        span {background-color: whitesmoke; padding: .1em; line-height: 1.35em;}
        img {max-width: 100%; vertical-align: top;}
        code_block {display: block;
width: 100%; background-color: whitesmoke; padding: 10px; margin: 1.5em 0px 1.5em 0px; position: relative; font-family: monospace; font-size: 1em; font-weight: normal; white-space: pre; overflow: auto; border-radius:4px; scrollbar-color:red;}
        .copy_code_button {position:absolute; right:10px; border:none; border-radius:5px; font-family:inherit; color:gray; user-select:none; -webkit-user-select:none;}
        /* Hide scrollbar for Chrome, Safari and Opera */
        code_block::-webkit-scrollbar {
        }
        .sidebar {position:fixed; z-index:1; left:1em; top:1em;}
        @media screen and (max-width: 1800px) {.sidebar {display:none;}}
        @media (max-width: 725px) {
            .button {display: block;}
        }

        purple {color: hsl(289.0, 50%, 50%);}
        gray {color: gray;}
        olive {color: olive;}
        yellow {color: darkgoldenrod;}
        green {color: seagreen;}
        blue {color: hsl(210, 50%, 50%);}
